#! /bin/sh -x

echo succeeded
